3.2.72 \(\int \frac {(c+d \sec (e+f x))^3}{(a+a \sec (e+f x))^{3/2}} \, dx\) [172]

3.2.72.1 Optimal result
3.2.72.2 Mathematica [C] (warning: unable to verify)
3.2.72.3 Rubi [A] (verified)
3.2.72.4 Maple [B] (warning: unable to verify)
3.2.72.5 Fricas [A] (verification not implemented)
3.2.72.6 Sympy [F]
3.2.72.7 Maxima [F]
3.2.72.8 Giac [F(-2)]
3.2.72.9 Mupad [F(-1)]

3.2.72.1 Optimal result

Integrand size = 27, antiderivative size = 324 \[ \int \frac {(c+d \sec (e+f x))^3}{(a+a \sec (e+f x))^{3/2}} \, dx=\frac {2 d^3 \tan (e+f x)}{a f \sqrt {a+a \sec (e+f x)}}-\frac {(c-d)^3 \tan (e+f x)}{2 a f (1+\sec (e+f x)) \sqrt {a+a \sec (e+f x)}}+\frac {2 c^3 \text {arctanh}\left (\frac {\sqrt {a-a \sec (e+f x)}}{\sqrt {a}}\right ) \tan (e+f x)}{\sqrt {a} f \sqrt {a-a \sec (e+f x)} \sqrt {a+a \sec (e+f x)}}-\frac {(c-d)^3 \text {arctanh}\left (\frac {\sqrt {a-a \sec (e+f x)}}{\sqrt {2} \sqrt {a}}\right ) \tan (e+f x)}{2 \sqrt {2} \sqrt {a} f \sqrt {a-a \sec (e+f x)} \sqrt {a+a \sec (e+f x)}}-\frac {\sqrt {2} (c-d)^2 (c+2 d) \text {arctanh}\left (\frac {\sqrt {a-a \sec (e+f x)}}{\sqrt {2} \sqrt {a}}\right ) \tan (e+f x)}{\sqrt {a} f \sqrt {a-a \sec (e+f x)} \sqrt {a+a \sec (e+f x)}} \]

output
2*d^3*tan(f*x+e)/a/f/(a+a*sec(f*x+e))^(1/2)-1/2*(c-d)^3*tan(f*x+e)/a/f/(1+ 
sec(f*x+e))/(a+a*sec(f*x+e))^(1/2)+2*c^3*arctanh((a-a*sec(f*x+e))^(1/2)/a^ 
(1/2))*tan(f*x+e)/f/a^(1/2)/(a-a*sec(f*x+e))^(1/2)/(a+a*sec(f*x+e))^(1/2)- 
1/4*(c-d)^3*arctanh(1/2*(a-a*sec(f*x+e))^(1/2)*2^(1/2)/a^(1/2))*tan(f*x+e) 
/f*2^(1/2)/a^(1/2)/(a-a*sec(f*x+e))^(1/2)/(a+a*sec(f*x+e))^(1/2)-(c-d)^2*( 
c+2*d)*arctanh(1/2*(a-a*sec(f*x+e))^(1/2)*2^(1/2)/a^(1/2))*2^(1/2)*tan(f*x 
+e)/f/a^(1/2)/(a-a*sec(f*x+e))^(1/2)/(a+a*sec(f*x+e))^(1/2)
 
3.2.72.2 Mathematica [C] (warning: unable to verify)

Result contains higher order function than in optimal. Order 5 vs. order 3 in optimal.

Time = 8.09 (sec) , antiderivative size = 856, normalized size of antiderivative = 2.64 \[ \int \frac {(c+d \sec (e+f x))^3}{(a+a \sec (e+f x))^{3/2}} \, dx=\frac {2 \cos ^3\left (\frac {1}{2} (e+f x)\right ) (c+d \sec (e+f x))^3 \sqrt {\frac {1}{1-2 \sin ^2\left (\frac {1}{2} (e+f x)\right )}} \sqrt {1-2 \sin ^2\left (\frac {1}{2} (e+f x)\right )} \left (-\frac {3}{2} (c-d)^3 \arctan \left (\frac {1-2 \sin \left (\frac {1}{2} (e+f x)\right )}{\sqrt {1-2 \sin ^2\left (\frac {1}{2} (e+f x)\right )}}\right )+\frac {3}{2} (c-d)^3 \arctan \left (\frac {1+2 \sin \left (\frac {1}{2} (e+f x)\right )}{\sqrt {1-2 \sin ^2\left (\frac {1}{2} (e+f x)\right )}}\right )-\frac {4 c^2 (c-3 d) \sin \left (\frac {1}{2} (e+f x)\right )}{\sqrt {1-2 \sin ^2\left (\frac {1}{2} (e+f x)\right )}}+\frac {(c-d)^3 \left (1-2 \sin \left (\frac {1}{2} (e+f x)\right )\right )}{4 \left (1+\sin \left (\frac {1}{2} (e+f x)\right )\right ) \sqrt {1-2 \sin ^2\left (\frac {1}{2} (e+f x)\right )}}-\frac {(c-d)^3 \left (1+2 \sin \left (\frac {1}{2} (e+f x)\right )\right )}{4 \left (1-\sin \left (\frac {1}{2} (e+f x)\right )\right ) \sqrt {1-2 \sin ^2\left (\frac {1}{2} (e+f x)\right )}}-\frac {(c-d)^3 \sqrt {1-2 \sin ^2\left (\frac {1}{2} (e+f x)\right )}}{1-\sin \left (\frac {1}{2} (e+f x)\right )}+\frac {(c-d)^3 \sqrt {1-2 \sin ^2\left (\frac {1}{2} (e+f x)\right )}}{1+\sin \left (\frac {1}{2} (e+f x)\right )}-\frac {2 c^3 \left (-\sqrt {2} \arcsin \left (\sqrt {2} \sin \left (\frac {1}{2} (e+f x)\right )\right )+2 \sqrt {2} \arcsin \left (\sqrt {2} \sin \left (\frac {1}{2} (e+f x)\right )\right ) \sin ^2\left (\frac {1}{2} (e+f x)\right )+2 \sin \left (\frac {1}{2} (e+f x)\right ) \sqrt {1-2 \sin ^2\left (\frac {1}{2} (e+f x)\right )}\right )}{1-2 \sin ^2\left (\frac {1}{2} (e+f x)\right )}-\frac {(c-d)^2 (11 c+d) \sin \left (\frac {1}{2} (e+f x)\right ) \left (\frac {2 \cos ^2\left (\frac {1}{2} (e+f x)\right ) \operatorname {Hypergeometric2F1}\left (2,\frac {5}{2},\frac {7}{2},-\frac {\sin ^2\left (\frac {1}{2} (e+f x)\right )}{1-2 \sin ^2\left (\frac {1}{2} (e+f x)\right )}\right ) \sin ^2\left (\frac {1}{2} (e+f x)\right )}{1-2 \sin ^2\left (\frac {1}{2} (e+f x)\right )}+5 \csc ^4\left (\frac {1}{2} (e+f x)\right ) \sqrt {-\frac {\sin ^2\left (\frac {1}{2} (e+f x)\right )}{1-2 \sin ^2\left (\frac {1}{2} (e+f x)\right )}} \left (1-2 \sin ^2\left (\frac {1}{2} (e+f x)\right )\right )^2 \left (3-2 \sin ^2\left (\frac {1}{2} (e+f x)\right )\right ) \left (-\text {arctanh}\left (\sqrt {-\frac {\sin ^2\left (\frac {1}{2} (e+f x)\right )}{1-2 \sin ^2\left (\frac {1}{2} (e+f x)\right )}}\right )+\sqrt {-\frac {\sin ^2\left (\frac {1}{2} (e+f x)\right )}{1-2 \sin ^2\left (\frac {1}{2} (e+f x)\right )}}\right )\right )}{10 \left (1-2 \sin ^2\left (\frac {1}{2} (e+f x)\right )\right )^{3/2}}\right )}{f (d+c \cos (e+f x))^3 \sec ^{\frac {3}{2}}(e+f x) (a (1+\sec (e+f x)))^{3/2}} \]

input
Integrate[(c + d*Sec[e + f*x])^3/(a + a*Sec[e + f*x])^(3/2),x]
 
output
(2*Cos[(e + f*x)/2]^3*(c + d*Sec[e + f*x])^3*Sqrt[(1 - 2*Sin[(e + f*x)/2]^ 
2)^(-1)]*Sqrt[1 - 2*Sin[(e + f*x)/2]^2]*((-3*(c - d)^3*ArcTan[(1 - 2*Sin[( 
e + f*x)/2])/Sqrt[1 - 2*Sin[(e + f*x)/2]^2]])/2 + (3*(c - d)^3*ArcTan[(1 + 
 2*Sin[(e + f*x)/2])/Sqrt[1 - 2*Sin[(e + f*x)/2]^2]])/2 - (4*c^2*(c - 3*d) 
*Sin[(e + f*x)/2])/Sqrt[1 - 2*Sin[(e + f*x)/2]^2] + ((c - d)^3*(1 - 2*Sin[ 
(e + f*x)/2]))/(4*(1 + Sin[(e + f*x)/2])*Sqrt[1 - 2*Sin[(e + f*x)/2]^2]) - 
 ((c - d)^3*(1 + 2*Sin[(e + f*x)/2]))/(4*(1 - Sin[(e + f*x)/2])*Sqrt[1 - 2 
*Sin[(e + f*x)/2]^2]) - ((c - d)^3*Sqrt[1 - 2*Sin[(e + f*x)/2]^2])/(1 - Si 
n[(e + f*x)/2]) + ((c - d)^3*Sqrt[1 - 2*Sin[(e + f*x)/2]^2])/(1 + Sin[(e + 
 f*x)/2]) - (2*c^3*(-(Sqrt[2]*ArcSin[Sqrt[2]*Sin[(e + f*x)/2]]) + 2*Sqrt[2 
]*ArcSin[Sqrt[2]*Sin[(e + f*x)/2]]*Sin[(e + f*x)/2]^2 + 2*Sin[(e + f*x)/2] 
*Sqrt[1 - 2*Sin[(e + f*x)/2]^2]))/(1 - 2*Sin[(e + f*x)/2]^2) - ((c - d)^2* 
(11*c + d)*Sin[(e + f*x)/2]*((2*Cos[(e + f*x)/2]^2*Hypergeometric2F1[2, 5/ 
2, 7/2, -(Sin[(e + f*x)/2]^2/(1 - 2*Sin[(e + f*x)/2]^2))]*Sin[(e + f*x)/2] 
^2)/(1 - 2*Sin[(e + f*x)/2]^2) + 5*Csc[(e + f*x)/2]^4*Sqrt[-(Sin[(e + f*x) 
/2]^2/(1 - 2*Sin[(e + f*x)/2]^2))]*(1 - 2*Sin[(e + f*x)/2]^2)^2*(3 - 2*Sin 
[(e + f*x)/2]^2)*(-ArcTanh[Sqrt[-(Sin[(e + f*x)/2]^2/(1 - 2*Sin[(e + f*x)/ 
2]^2))]] + Sqrt[-(Sin[(e + f*x)/2]^2/(1 - 2*Sin[(e + f*x)/2]^2))])))/(10*( 
1 - 2*Sin[(e + f*x)/2]^2)^(3/2))))/(f*(d + c*Cos[e + f*x])^3*Sec[e + f*x]^ 
(3/2)*(a*(1 + Sec[e + f*x]))^(3/2))
 
3.2.72.3 Rubi [A] (verified)

Time = 0.46 (sec) , antiderivative size = 233, normalized size of antiderivative = 0.72, number of steps used = 6, number of rules used = 5, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.185, Rules used = {3042, 4428, 27, 198, 2009}

Below are the steps used by Rubi to obtain the solution. The rule number used for the transformation is given above next to the arrow. The rules definitions used are listed below.

\(\displaystyle \int \frac {(c+d \sec (e+f x))^3}{(a \sec (e+f x)+a)^{3/2}} \, dx\)

\(\Big \downarrow \) 3042

\(\displaystyle \int \frac {\left (c+d \csc \left (e+f x+\frac {\pi }{2}\right )\right )^3}{\left (a \csc \left (e+f x+\frac {\pi }{2}\right )+a\right )^{3/2}}dx\)

\(\Big \downarrow \) 4428

\(\displaystyle -\frac {a^2 \tan (e+f x) \int \frac {\cos (e+f x) (c+d \sec (e+f x))^3}{a^2 (\sec (e+f x)+1)^2 \sqrt {a-a \sec (e+f x)}}d\sec (e+f x)}{f \sqrt {a-a \sec (e+f x)} \sqrt {a \sec (e+f x)+a}}\)

\(\Big \downarrow \) 27

\(\displaystyle -\frac {\tan (e+f x) \int \frac {\cos (e+f x) (c+d \sec (e+f x))^3}{(\sec (e+f x)+1)^2 \sqrt {a-a \sec (e+f x)}}d\sec (e+f x)}{f \sqrt {a-a \sec (e+f x)} \sqrt {a \sec (e+f x)+a}}\)

\(\Big \downarrow \) 198

\(\displaystyle -\frac {\tan (e+f x) \int \left (\frac {\cos (e+f x) c^3}{\sqrt {a-a \sec (e+f x)}}+\frac {d^3}{\sqrt {a-a \sec (e+f x)}}-\frac {(c-d)^2 (c+2 d)}{(\sec (e+f x)+1) \sqrt {a-a \sec (e+f x)}}-\frac {(c-d)^3}{(\sec (e+f x)+1)^2 \sqrt {a-a \sec (e+f x)}}\right )d\sec (e+f x)}{f \sqrt {a-a \sec (e+f x)} \sqrt {a \sec (e+f x)+a}}\)

\(\Big \downarrow \) 2009

\(\displaystyle -\frac {\tan (e+f x) \left (-\frac {2 c^3 \text {arctanh}\left (\frac {\sqrt {a-a \sec (e+f x)}}{\sqrt {a}}\right )}{\sqrt {a}}+\frac {(c-d)^3 \text {arctanh}\left (\frac {\sqrt {a-a \sec (e+f x)}}{\sqrt {2} \sqrt {a}}\right )}{2 \sqrt {2} \sqrt {a}}+\frac {\sqrt {2} (c-d)^2 (c+2 d) \text {arctanh}\left (\frac {\sqrt {a-a \sec (e+f x)}}{\sqrt {2} \sqrt {a}}\right )}{\sqrt {a}}+\frac {(c-d)^3 \sqrt {a-a \sec (e+f x)}}{2 a (\sec (e+f x)+1)}-\frac {2 d^3 \sqrt {a-a \sec (e+f x)}}{a}\right )}{f \sqrt {a-a \sec (e+f x)} \sqrt {a \sec (e+f x)+a}}\)

input
Int[(c + d*Sec[e + f*x])^3/(a + a*Sec[e + f*x])^(3/2),x]
 
output
-((((-2*c^3*ArcTanh[Sqrt[a - a*Sec[e + f*x]]/Sqrt[a]])/Sqrt[a] + ((c - d)^ 
3*ArcTanh[Sqrt[a - a*Sec[e + f*x]]/(Sqrt[2]*Sqrt[a])])/(2*Sqrt[2]*Sqrt[a]) 
 + (Sqrt[2]*(c - d)^2*(c + 2*d)*ArcTanh[Sqrt[a - a*Sec[e + f*x]]/(Sqrt[2]* 
Sqrt[a])])/Sqrt[a] - (2*d^3*Sqrt[a - a*Sec[e + f*x]])/a + ((c - d)^3*Sqrt[ 
a - a*Sec[e + f*x]])/(2*a*(1 + Sec[e + f*x])))*Tan[e + f*x])/(f*Sqrt[a - a 
*Sec[e + f*x]]*Sqrt[a + a*Sec[e + f*x]]))
 

3.2.72.3.1 Defintions of rubi rules used

rule 27
Int[(a_)*(Fx_), x_Symbol] :> Simp[a   Int[Fx, x], x] /; FreeQ[a, x] &&  !Ma 
tchQ[Fx, (b_)*(Gx_) /; FreeQ[b, x]]
 

rule 198
Int[((a_.) + (b_.)*(x_))^(m_)*((c_.) + (d_.)*(x_))^(n_)*((e_.) + (f_.)*(x_) 
)^(p_)*((g_.) + (h_.)*(x_))^(q_), x_] :> Int[ExpandIntegrand[(a + b*x)^m*(c 
 + d*x)^n*(e + f*x)^p*(g + h*x)^q, x], x] /; FreeQ[{a, b, c, d, e, f, g, h, 
 m, n}, x] && IntegersQ[p, q]
 

rule 2009
Int[u_, x_Symbol] :> Simp[IntSum[u, x], x] /; SumQ[u]
 

rule 3042
Int[u_, x_Symbol] :> Int[DeactivateTrig[u, x], x] /; FunctionOfTrigOfLinear 
Q[u, x]
 

rule 4428
Int[(csc[(e_.) + (f_.)*(x_)]*(b_.) + (a_))^(m_.)*(csc[(e_.) + (f_.)*(x_)]*( 
d_.) + (c_))^(n_.), x_Symbol] :> Simp[a^2*(Cot[e + f*x]/(f*Sqrt[a + b*Csc[e 
 + f*x]]*Sqrt[a - b*Csc[e + f*x]]))   Subst[Int[(a + b*x)^(m - 1/2)*((c + d 
*x)^n/(x*Sqrt[a - b*x])), x], x, Csc[e + f*x]], x] /; FreeQ[{a, b, c, d, e, 
 f, m, n}, x] && NeQ[b*c - a*d, 0] && EqQ[a^2 - b^2, 0] && NeQ[c^2 - d^2, 0 
] && IntegerQ[m - 1/2]
 
3.2.72.4 Maple [B] (warning: unable to verify)

Leaf count of result is larger than twice the leaf count of optimal. \(586\) vs. \(2(280)=560\).

Time = 6.06 (sec) , antiderivative size = 587, normalized size of antiderivative = 1.81

method result size
default \(\frac {\sqrt {-\frac {2 a}{\left (1-\cos \left (f x +e \right )\right )^{2} \csc \left (f x +e \right )^{2}-1}}\, \left (4 \,\operatorname {arctanh}\left (\frac {\sqrt {2}\, \left (-\cot \left (f x +e \right )+\csc \left (f x +e \right )\right )}{\sqrt {\left (1-\cos \left (f x +e \right )\right )^{2} \csc \left (f x +e \right )^{2}-1}}\right ) \sqrt {\left (1-\cos \left (f x +e \right )\right )^{2} \csc \left (f x +e \right )^{2}-1}\, \sqrt {2}\, c^{3}+c^{3} \left (1-\cos \left (f x +e \right )\right )^{3} \csc \left (f x +e \right )^{3}-3 c^{2} d \left (1-\cos \left (f x +e \right )\right )^{3} \csc \left (f x +e \right )^{3}+3 c \,d^{2} \left (1-\cos \left (f x +e \right )\right )^{3} \csc \left (f x +e \right )^{3}-d^{3} \left (1-\cos \left (f x +e \right )\right )^{3} \csc \left (f x +e \right )^{3}-5 \ln \left (\csc \left (f x +e \right )-\cot \left (f x +e \right )+\sqrt {\left (1-\cos \left (f x +e \right )\right )^{2} \csc \left (f x +e \right )^{2}-1}\right ) \sqrt {\left (1-\cos \left (f x +e \right )\right )^{2} \csc \left (f x +e \right )^{2}-1}\, c^{3}+3 \ln \left (\csc \left (f x +e \right )-\cot \left (f x +e \right )+\sqrt {\left (1-\cos \left (f x +e \right )\right )^{2} \csc \left (f x +e \right )^{2}-1}\right ) \sqrt {\left (1-\cos \left (f x +e \right )\right )^{2} \csc \left (f x +e \right )^{2}-1}\, c^{2} d +9 \ln \left (\csc \left (f x +e \right )-\cot \left (f x +e \right )+\sqrt {\left (1-\cos \left (f x +e \right )\right )^{2} \csc \left (f x +e \right )^{2}-1}\right ) \sqrt {\left (1-\cos \left (f x +e \right )\right )^{2} \csc \left (f x +e \right )^{2}-1}\, c \,d^{2}-7 \ln \left (\csc \left (f x +e \right )-\cot \left (f x +e \right )+\sqrt {\left (1-\cos \left (f x +e \right )\right )^{2} \csc \left (f x +e \right )^{2}-1}\right ) \sqrt {\left (1-\cos \left (f x +e \right )\right )^{2} \csc \left (f x +e \right )^{2}-1}\, d^{3}-c^{3} \left (-\cot \left (f x +e \right )+\csc \left (f x +e \right )\right )+3 c^{2} d \left (-\cot \left (f x +e \right )+\csc \left (f x +e \right )\right )-3 c \,d^{2} \left (-\cot \left (f x +e \right )+\csc \left (f x +e \right )\right )+9 d^{3} \left (-\cot \left (f x +e \right )+\csc \left (f x +e \right )\right )\right )}{4 a^{2} f}\) \(587\)
parts \(\frac {c^{3} \sqrt {-\frac {2 a}{\left (1-\cos \left (f x +e \right )\right )^{2} \csc \left (f x +e \right )^{2}-1}}\, \sqrt {\left (1-\cos \left (f x +e \right )\right )^{2} \csc \left (f x +e \right )^{2}-1}\, \left (4 \sqrt {2}\, \operatorname {arctanh}\left (\frac {\sqrt {2}\, \left (-\cot \left (f x +e \right )+\csc \left (f x +e \right )\right )}{\sqrt {\left (1-\cos \left (f x +e \right )\right )^{2} \csc \left (f x +e \right )^{2}-1}}\right )+\sqrt {\left (1-\cos \left (f x +e \right )\right )^{2} \csc \left (f x +e \right )^{2}-1}\, \left (-\cot \left (f x +e \right )+\csc \left (f x +e \right )\right )-5 \ln \left (\csc \left (f x +e \right )-\cot \left (f x +e \right )+\sqrt {\left (1-\cos \left (f x +e \right )\right )^{2} \csc \left (f x +e \right )^{2}-1}\right )\right )}{4 f \,a^{2}}-\frac {d^{3} \sqrt {-\frac {2 a}{\left (1-\cos \left (f x +e \right )\right )^{2} \csc \left (f x +e \right )^{2}-1}}\, \left (\left (1-\cos \left (f x +e \right )\right )^{3} \csc \left (f x +e \right )^{3}+7 \ln \left (\csc \left (f x +e \right )-\cot \left (f x +e \right )+\sqrt {\left (1-\cos \left (f x +e \right )\right )^{2} \csc \left (f x +e \right )^{2}-1}\right ) \sqrt {\left (1-\cos \left (f x +e \right )\right )^{2} \csc \left (f x +e \right )^{2}-1}-9 \csc \left (f x +e \right )+9 \cot \left (f x +e \right )\right )}{4 f \,a^{2}}-\frac {3 c^{2} d \sqrt {-\frac {2 a}{\left (1-\cos \left (f x +e \right )\right )^{2} \csc \left (f x +e \right )^{2}-1}}\, \sqrt {\left (1-\cos \left (f x +e \right )\right )^{2} \csc \left (f x +e \right )^{2}-1}\, \left (\sqrt {\left (1-\cos \left (f x +e \right )\right )^{2} \csc \left (f x +e \right )^{2}-1}\, \left (-\cot \left (f x +e \right )+\csc \left (f x +e \right )\right )-\ln \left (\csc \left (f x +e \right )-\cot \left (f x +e \right )+\sqrt {\left (1-\cos \left (f x +e \right )\right )^{2} \csc \left (f x +e \right )^{2}-1}\right )\right )}{4 f \,a^{2}}+\frac {3 c \,d^{2} \sqrt {-\frac {2 a}{\left (1-\cos \left (f x +e \right )\right )^{2} \csc \left (f x +e \right )^{2}-1}}\, \sqrt {\left (1-\cos \left (f x +e \right )\right )^{2} \csc \left (f x +e \right )^{2}-1}\, \left (\sqrt {\left (1-\cos \left (f x +e \right )\right )^{2} \csc \left (f x +e \right )^{2}-1}\, \left (-\cot \left (f x +e \right )+\csc \left (f x +e \right )\right )+3 \ln \left (\csc \left (f x +e \right )-\cot \left (f x +e \right )+\sqrt {\left (1-\cos \left (f x +e \right )\right )^{2} \csc \left (f x +e \right )^{2}-1}\right )\right )}{4 f \,a^{2}}\) \(654\)

input
int((c+d*sec(f*x+e))^3/(a+a*sec(f*x+e))^(3/2),x,method=_RETURNVERBOSE)
 
output
1/4/a^2/f*(-2*a/((1-cos(f*x+e))^2*csc(f*x+e)^2-1))^(1/2)*(4*arctanh(2^(1/2 
)/((1-cos(f*x+e))^2*csc(f*x+e)^2-1)^(1/2)*(-cot(f*x+e)+csc(f*x+e)))*((1-co 
s(f*x+e))^2*csc(f*x+e)^2-1)^(1/2)*2^(1/2)*c^3+c^3*(1-cos(f*x+e))^3*csc(f*x 
+e)^3-3*c^2*d*(1-cos(f*x+e))^3*csc(f*x+e)^3+3*c*d^2*(1-cos(f*x+e))^3*csc(f 
*x+e)^3-d^3*(1-cos(f*x+e))^3*csc(f*x+e)^3-5*ln(csc(f*x+e)-cot(f*x+e)+((1-c 
os(f*x+e))^2*csc(f*x+e)^2-1)^(1/2))*((1-cos(f*x+e))^2*csc(f*x+e)^2-1)^(1/2 
)*c^3+3*ln(csc(f*x+e)-cot(f*x+e)+((1-cos(f*x+e))^2*csc(f*x+e)^2-1)^(1/2))* 
((1-cos(f*x+e))^2*csc(f*x+e)^2-1)^(1/2)*c^2*d+9*ln(csc(f*x+e)-cot(f*x+e)+( 
(1-cos(f*x+e))^2*csc(f*x+e)^2-1)^(1/2))*((1-cos(f*x+e))^2*csc(f*x+e)^2-1)^ 
(1/2)*c*d^2-7*ln(csc(f*x+e)-cot(f*x+e)+((1-cos(f*x+e))^2*csc(f*x+e)^2-1)^( 
1/2))*((1-cos(f*x+e))^2*csc(f*x+e)^2-1)^(1/2)*d^3-c^3*(-cot(f*x+e)+csc(f*x 
+e))+3*c^2*d*(-cot(f*x+e)+csc(f*x+e))-3*c*d^2*(-cot(f*x+e)+csc(f*x+e))+9*d 
^3*(-cot(f*x+e)+csc(f*x+e)))
 
3.2.72.5 Fricas [A] (verification not implemented)

Time = 14.30 (sec) , antiderivative size = 701, normalized size of antiderivative = 2.16 \[ \int \frac {(c+d \sec (e+f x))^3}{(a+a \sec (e+f x))^{3/2}} \, dx=\left [-\frac {\sqrt {2} {\left (5 \, c^{3} - 3 \, c^{2} d - 9 \, c d^{2} + 7 \, d^{3} + {\left (5 \, c^{3} - 3 \, c^{2} d - 9 \, c d^{2} + 7 \, d^{3}\right )} \cos \left (f x + e\right )^{2} + 2 \, {\left (5 \, c^{3} - 3 \, c^{2} d - 9 \, c d^{2} + 7 \, d^{3}\right )} \cos \left (f x + e\right )\right )} \sqrt {-a} \log \left (-\frac {2 \, \sqrt {2} \sqrt {-a} \sqrt {\frac {a \cos \left (f x + e\right ) + a}{\cos \left (f x + e\right )}} \cos \left (f x + e\right ) \sin \left (f x + e\right ) - 3 \, a \cos \left (f x + e\right )^{2} - 2 \, a \cos \left (f x + e\right ) + a}{\cos \left (f x + e\right )^{2} + 2 \, \cos \left (f x + e\right ) + 1}\right ) + 8 \, {\left (c^{3} \cos \left (f x + e\right )^{2} + 2 \, c^{3} \cos \left (f x + e\right ) + c^{3}\right )} \sqrt {-a} \log \left (\frac {2 \, a \cos \left (f x + e\right )^{2} + 2 \, \sqrt {-a} \sqrt {\frac {a \cos \left (f x + e\right ) + a}{\cos \left (f x + e\right )}} \cos \left (f x + e\right ) \sin \left (f x + e\right ) + a \cos \left (f x + e\right ) - a}{\cos \left (f x + e\right ) + 1}\right ) - 4 \, {\left (4 \, d^{3} - {\left (c^{3} - 3 \, c^{2} d + 3 \, c d^{2} - 5 \, d^{3}\right )} \cos \left (f x + e\right )\right )} \sqrt {\frac {a \cos \left (f x + e\right ) + a}{\cos \left (f x + e\right )}} \sin \left (f x + e\right )}{8 \, {\left (a^{2} f \cos \left (f x + e\right )^{2} + 2 \, a^{2} f \cos \left (f x + e\right ) + a^{2} f\right )}}, \frac {\sqrt {2} {\left (5 \, c^{3} - 3 \, c^{2} d - 9 \, c d^{2} + 7 \, d^{3} + {\left (5 \, c^{3} - 3 \, c^{2} d - 9 \, c d^{2} + 7 \, d^{3}\right )} \cos \left (f x + e\right )^{2} + 2 \, {\left (5 \, c^{3} - 3 \, c^{2} d - 9 \, c d^{2} + 7 \, d^{3}\right )} \cos \left (f x + e\right )\right )} \sqrt {a} \arctan \left (\frac {\sqrt {2} \sqrt {\frac {a \cos \left (f x + e\right ) + a}{\cos \left (f x + e\right )}} \cos \left (f x + e\right )}{\sqrt {a} \sin \left (f x + e\right )}\right ) - 8 \, {\left (c^{3} \cos \left (f x + e\right )^{2} + 2 \, c^{3} \cos \left (f x + e\right ) + c^{3}\right )} \sqrt {a} \arctan \left (\frac {\sqrt {\frac {a \cos \left (f x + e\right ) + a}{\cos \left (f x + e\right )}} \cos \left (f x + e\right )}{\sqrt {a} \sin \left (f x + e\right )}\right ) + 2 \, {\left (4 \, d^{3} - {\left (c^{3} - 3 \, c^{2} d + 3 \, c d^{2} - 5 \, d^{3}\right )} \cos \left (f x + e\right )\right )} \sqrt {\frac {a \cos \left (f x + e\right ) + a}{\cos \left (f x + e\right )}} \sin \left (f x + e\right )}{4 \, {\left (a^{2} f \cos \left (f x + e\right )^{2} + 2 \, a^{2} f \cos \left (f x + e\right ) + a^{2} f\right )}}\right ] \]

input
integrate((c+d*sec(f*x+e))^3/(a+a*sec(f*x+e))^(3/2),x, algorithm="fricas")
 
output
[-1/8*(sqrt(2)*(5*c^3 - 3*c^2*d - 9*c*d^2 + 7*d^3 + (5*c^3 - 3*c^2*d - 9*c 
*d^2 + 7*d^3)*cos(f*x + e)^2 + 2*(5*c^3 - 3*c^2*d - 9*c*d^2 + 7*d^3)*cos(f 
*x + e))*sqrt(-a)*log(-(2*sqrt(2)*sqrt(-a)*sqrt((a*cos(f*x + e) + a)/cos(f 
*x + e))*cos(f*x + e)*sin(f*x + e) - 3*a*cos(f*x + e)^2 - 2*a*cos(f*x + e) 
 + a)/(cos(f*x + e)^2 + 2*cos(f*x + e) + 1)) + 8*(c^3*cos(f*x + e)^2 + 2*c 
^3*cos(f*x + e) + c^3)*sqrt(-a)*log((2*a*cos(f*x + e)^2 + 2*sqrt(-a)*sqrt( 
(a*cos(f*x + e) + a)/cos(f*x + e))*cos(f*x + e)*sin(f*x + e) + a*cos(f*x + 
 e) - a)/(cos(f*x + e) + 1)) - 4*(4*d^3 - (c^3 - 3*c^2*d + 3*c*d^2 - 5*d^3 
)*cos(f*x + e))*sqrt((a*cos(f*x + e) + a)/cos(f*x + e))*sin(f*x + e))/(a^2 
*f*cos(f*x + e)^2 + 2*a^2*f*cos(f*x + e) + a^2*f), 1/4*(sqrt(2)*(5*c^3 - 3 
*c^2*d - 9*c*d^2 + 7*d^3 + (5*c^3 - 3*c^2*d - 9*c*d^2 + 7*d^3)*cos(f*x + e 
)^2 + 2*(5*c^3 - 3*c^2*d - 9*c*d^2 + 7*d^3)*cos(f*x + e))*sqrt(a)*arctan(s 
qrt(2)*sqrt((a*cos(f*x + e) + a)/cos(f*x + e))*cos(f*x + e)/(sqrt(a)*sin(f 
*x + e))) - 8*(c^3*cos(f*x + e)^2 + 2*c^3*cos(f*x + e) + c^3)*sqrt(a)*arct 
an(sqrt((a*cos(f*x + e) + a)/cos(f*x + e))*cos(f*x + e)/(sqrt(a)*sin(f*x + 
 e))) + 2*(4*d^3 - (c^3 - 3*c^2*d + 3*c*d^2 - 5*d^3)*cos(f*x + e))*sqrt((a 
*cos(f*x + e) + a)/cos(f*x + e))*sin(f*x + e))/(a^2*f*cos(f*x + e)^2 + 2*a 
^2*f*cos(f*x + e) + a^2*f)]
 
3.2.72.6 Sympy [F]

\[ \int \frac {(c+d \sec (e+f x))^3}{(a+a \sec (e+f x))^{3/2}} \, dx=\int \frac {\left (c + d \sec {\left (e + f x \right )}\right )^{3}}{\left (a \left (\sec {\left (e + f x \right )} + 1\right )\right )^{\frac {3}{2}}}\, dx \]

input
integrate((c+d*sec(f*x+e))**3/(a+a*sec(f*x+e))**(3/2),x)
 
output
Integral((c + d*sec(e + f*x))**3/(a*(sec(e + f*x) + 1))**(3/2), x)
 
3.2.72.7 Maxima [F]

\[ \int \frac {(c+d \sec (e+f x))^3}{(a+a \sec (e+f x))^{3/2}} \, dx=\int { \frac {{\left (d \sec \left (f x + e\right ) + c\right )}^{3}}{{\left (a \sec \left (f x + e\right ) + a\right )}^{\frac {3}{2}}} \,d x } \]

input
integrate((c+d*sec(f*x+e))^3/(a+a*sec(f*x+e))^(3/2),x, algorithm="maxima")
 
output
integrate((d*sec(f*x + e) + c)^3/(a*sec(f*x + e) + a)^(3/2), x)
 
3.2.72.8 Giac [F(-2)]

Exception generated. \[ \int \frac {(c+d \sec (e+f x))^3}{(a+a \sec (e+f x))^{3/2}} \, dx=\text {Exception raised: TypeError} \]

input
integrate((c+d*sec(f*x+e))^3/(a+a*sec(f*x+e))^(3/2),x, algorithm="giac")
 
output
Exception raised: TypeError >> an error occurred running a Giac command:IN 
PUT:sage2:=int(sage0,sageVARx):;OUTPUT:index.cc index_m i_lex_is_greater E 
rror: Bad Argument Value
 
3.2.72.9 Mupad [F(-1)]

Timed out. \[ \int \frac {(c+d \sec (e+f x))^3}{(a+a \sec (e+f x))^{3/2}} \, dx=\int \frac {{\left (c+\frac {d}{\cos \left (e+f\,x\right )}\right )}^3}{{\left (a+\frac {a}{\cos \left (e+f\,x\right )}\right )}^{3/2}} \,d x \]

input
int((c + d/cos(e + f*x))^3/(a + a/cos(e + f*x))^(3/2),x)
 
output
int((c + d/cos(e + f*x))^3/(a + a/cos(e + f*x))^(3/2), x)